Bisimulation Metrics On Asterix